package pso.gui;

import javax.swing.SpinnerNumberModel;

public class PositiveIntegerSpinnerModel extends SpinnerNumberModel {

	private static final long serialVersionUID = -2342477303561826938L;

	public PositiveIntegerSpinnerModel(int defaultValue) {
		super(defaultValue, 1, Integer.MAX_VALUE, 1);
	}

}
